Chupilko, M. M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification

Mikhail Chupilko,Alexander Kamkin

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2010

Language:

english

File:

PDF, 409 KB

english, 2010

2

Developing test systems for multi-modules hardware designs

Mikhail Chupilko

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2011

Language:

english

File:

PDF, 306 KB

english, 2011

3

[IEEE 2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV) - Austin, TX, USA (2018.12.9-2018.12.10)] 2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV) - Test Program Generator MicroTESK for RISC-V

Chupilko, Mikhail, Kamkin, Alexander, Kotsynyak, Artem, Protsenko, Alexander, Smolov, Sergey, Tatarnikov, Andrei

Year:

2018

Language:

english

File:

PDF, 123 KB

english, 2018

4

[IEEE 2019 20th International Workshop on Microprocessor/SoC Test, Security and Verification (MTV) - Austin, TX, USA (2019.12.9-2019.12.10)] 2019 20th International Workshop on Microprocessor/SoC Test, Security and Verification (MTV) - Open-Source Validation Suite for RISC-V

Chupilko, Mikhail, Kamkin, Alexander, Protsenko, Alexander

Year:

2019

File:

PDF, 129 KB

2019

5

Methodology and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications

Mikhail Chupilko,Alexander Kamkin,Dmitry Vorobyev

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2008

Language:

english

File:

PDF, 106 KB

english, 2008

6

Recognition and Explanation of Incorrect Behavior in Simulation-based Hardware Verification

Mikhail Chupilko,Alexander Protsenko

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2013

Language:

english

File:

PDF, 248 KB

english, 2013

7

Survey of modern technologies of simulation-based verification of hardware

A. S. Kamkin, M. M. Chupilko

Journal:

Programming and Computer Software

Year:

2011

Language:

english

File:

PDF, 131 KB

english, 2011

8

Investigation of the effect of damping coatings on the vibrostress of gears by the holographic interferometry method

V. M. Anishchenkov, S. N. Zvenigorodskaya, A. B. Roitman, A. V. Chupilko

Journal:

Strength of Materials

Year:

1982

Language:

english

File:

PDF, 737 KB

english, 1982

9

Developing test systems for multi-modules hardware designs

Journal:

Programming and Computer Software

Year:

2012

Language:

english

File:

PDF, 174 KB

english, 2012

10

[IEEE 2011 12th Latin American Test Workshop - LATW - Beach of Porto de Galinhas, Brazil (2011.03.27-2011.03.30)] 2011 12th Latin American Test Workshop (LATW) - A TLM-based approach to functional verification of hardware components at different abstraction levels

Chupilko, Mikhail, Kamkin, Alexander

Year:

2011

Language:

english

File:

PDF, 195 KB

english, 2011

11

Extensible environment for test program generation for microprocessors

Kamkin, A. S., Sergeeva, T. I., Smolov, S. A., Tatarnikov, A. D., Chupilko, M. M.

Journal:

Programming and Computer Software

Year:

2014

Language:

english

File:

PDF, 138 KB

english, 2014

12

[IEEE 2009 NORCHIP - Trondheim, Norway (2009.11.16-2009.11.17)] 2009 NORCHIP - Specification-driven testbench development for synchronous parallel-pipeline designs

Chupilko, Mikhail, Kamkin, Alexander

Year:

2009

Language:

english

File:

PDF, 354 KB

english, 2009

13

Simulation-based Hardware Verification Back-end: Diagnostics

Mikhail Chupilko,Alexander Protsenko

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2014

Language:

english

File:

PDF, 449 KB

english, 2014

14

[IEEE 2010 12th Biennial Baltic Electronics Conference (BEC2010) - Tallinn, Estonia (2010.10.4-2010.10.6)] 2010 12th Biennial Baltic Electronics Conference - Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: Application to verification

Chupilko, M., Kamkin, A.

Year:

2010

Language:

english

File:

PDF, 103 KB

english, 2010

15

[IEEE Test Symposium (EWDTS) - St. Petersburg, Russia (2010.09.17-2010.09.20)] 2010 East-West Design & Test Symposium (EWDTS) - Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models

Chupilko, Mikhail

Year:

2010

Language:

english

File:

PDF, 397 KB

english, 2010

16

[IEEE 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV) - Austin, TX, USA (2015.12.3-2015.12.4)] 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV) - Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units

Chupilko, Mikhail, Kamkin, Alexander, Kotsynyak, Artem, Protsenko, Alexander, Smolov, Sergey, Tatarnikov, Andrei

Year:

2015

Language:

english

File:

PDF, 184 KB

english, 2015

17

[IEEE 2016 IEEE East-West Design & Test Symposium (EWDTS) - Yerevan, Armenia (2016.10.14-2016.10.17)] 2016 IEEE East-West Design & Test Symposium (EWDTS) - Testing logic circuits at different abstraction levels: An experimental evaluation

Smolov, Sergey, Lopez, Jorge, Kushik, Natalia, Yevtushenko, Nina, Chupilko, Mikhail, Kamkin, Alexander

Year:

2016

Language:

english

File:

PDF, 1.13 MB

english, 2016

18

[IEEE 2016 IEEE East-West Design & Test Symposium (EWDTS) - Yerevan, Armenia (2016.10.14-2016.10.17)] 2016 IEEE East-West Design & Test Symposium (EWDTS) - ESL design with RTL-verified predesigned abstract communication channels

Haghi, Hamed Najafi, Chupilko, Mikhail, Kamkin, Alexander, Navabi, Zainalabedin

Year:

2016

Language:

english

File:

PDF, 622 KB

english, 2016

19

[IEEE 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV) - Austin, TX, USA (2017.12.11-2017.12.12)] 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV) - Maintaining ISA Specifications in MicroTESK Test Program Generator

Chupilko, Mikhail, Kamkin, Alexander, Kotsynyak, Artem, Protsenko, Alexander, Smolov, Sergey, Tatarnikov, Andrei

Year:

2017

Language:

english

File:

PDF, 137 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски